canonical homorphism

正准同态